Reasoning About a Service-oriented Programming Paradigm
نویسندگان
چکیده
This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical formalization and the language interpreter showed us the evidence that a new programming paradigm exists. In this paper we illustrate the basic features it is characterized by.
منابع مشابه
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting
The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of the most challenging open research issues is the discovery of Web Services on the base of the functionality they offer. Several proposals, including WSMO and OWL-S, rely on Semantic Web technologies to enrich service descripti...
متن کاملTool requirements for modelling and building ontologies
In this report we provide an overview of languages and tools for ontology representation, reasoning and management. We start with a definition of ontology, we present the most common languages for ontology representation (focusing, in particular, on Semantic Web languages) and logical formalisms to perform efficient reasoning over ontologies (in particular, Description Logics). Moreover, we des...
متن کاملSemantic Web Service Choreography: Contracting and Enactment
The emerging paradigm of service-oriented computing requires novel techniques for various service-related tasks. Along with automated support for service discovery, selection, negotiation, and composition, support for automated service contracting and enactment is crucial for any large scale service environment, where large numbers of clients and service providers interact. Many problems in thi...
متن کاملModel checking GSM-based multi-agent systems
Artifact systems are a novel paradigm for implementing service oriented computing. Business artifacts include both data and process descriptions at interface level thereby providing more sophisticated and powerful service inter-operation capabilities. In this paper we put forward a technique for the practical verification of business artifacts in the context of multi-agent systems. We extend GS...
متن کاملAn Autonomic Service Oriented Architecture in Computational Engineering Framework
Service Oriented Architecture (SOA) technology enables composition of large and complex computational units out of the available atomic services. Implementation of SOA brings about challenges which include service discovery, service interaction, service composition, robustness, quality of service, security, etc. These challenges are mainly due to the dynamic nature of SOA. SOAmay often need to ...
متن کامل